. L O ] 1 5 A pr 1 99 3 Vive la différence II . The Ax - Kochen isomorphism theorem
نویسنده
چکیده
We show in §1 that the Ax-Kochen isomorphism theorem [AK] requires the continuum hypothesis. Most of the applications of this theorem are insensitive to set theoretic considerations. (A probable exception is the work of Moloney [Mo].) In §2 we give an unrelated result on cuts in models of Peano arithmetic which answers a question on the ideal structure of countable ultraproducts of Z posed in [LLS]. In §1 we also answer a question of Keisler and Schmerl regarding Scott complete ultrapowers of R .
منابع مشابه
Vive la différence II. The Ax-Kochen isomorphism theorem
We show in §1 that the Ax-Kochen isomorphism theorem [AK] requires the continuum hypothesis. Most of the applications of this theorem are insensitive to set theoretic considerations. (A probable exception is the work of Moloney [Mo].) In §2 we give an unrelated result on cuts in models of Peano arithmetic which answers a question on the ideal structure of countable ultraproducts of Z posed in [...
متن کامل8 O ct 2 00 4 AX - KOCHEN - ERŠOV THEOREMS FOR P - ADIC INTEGRALS AND MOTIVIC INTEGRATION
This paper is concerned with extending classical results à la Ax-Kochen-Eršov to p-adic integrals in a motivic framework. The first section is expository, starting from Artin’s conjecture and the classical work of Ax, Kochen, and Eršov and ending with recent work of Denef and Loeser giving a motivic version of the results of Ax, Kochen, and Eršov. In that section we have chosen to adopt a quite...
متن کاملAx-kochen-eršov Theorems for P -adic Integrals and Motivic Integration
This paper is concerned with extending classical results à la Ax-Kochen-Eršov to p-adic integrals in a motivic framework. The first section is expository, starting from Artin’s conjecture and the classical work of Ax, Kochen, and Eršov and ending with recent work of Denef and Loeser giving a motivic version of the results of Ax, Kochen, and Eršov. In that section we have chosen to adopt a quite...
متن کاملM. Fattorosi-barnaba Graded Modalities. Iii (the Completeness and Compactness of $4 ~
We go on along the trend of [2] and [1], giving an axiomatization of $4 ~ and proving its completeness and compactness with respect to the usual reflexive and transitive Kripke models. To reach this results, we use techniques from [1], with suitable adaptations to our specific case. 1. The axioms of $4 ~ and their correctness We assume reader's familiarity with I-2] and 1-1], so that we shall u...
متن کامل